Nuprl Lemma : assert_of_tt
13,42
postcript
pdf
tt
latex
Up
bool
1
,
bool
1
Definitions
t
T
,
True
,
if
b
then
t
else
f
fi
,
tt
,
b
origin
tt tt 
Tb